Alan Bundy: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Preparing for the future of Artificial Intelligence

Journal:

Year:

2017

Language:

english

File:

PDF, 309 KB

english, 2017

2

What is a proof?

Bundy, Alan, Jamnik, Mateja, Fugard, Andrew

Journal:

Philosophical Transactions Mathematical Physical & Engineering Sciences

Year:

2005

Language:

english

File:

PDF, 275 KB

english, 2005

3

Artificial Intelligence: Art or Science?

Journal:

Year:

1988

Language:

english

File:

PDF, 1.58 MB

english, 1988

4

A Higher Order Approach to Ontology Evolution in Physics

Lehmann, Jos, Chan, Michael, Bundy, Alan

Journal:

Journal on Data Semantics

Year:

2013

Language:

english

File:

PDF, 1.56 MB

english, 2013

5

Rippling: A heuristic for guiding inductive proofs

Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill

Journal:

Artificial Intelligence

Year:

1993

Language:

english

File:

PDF, 3.11 MB

english, 1993

6

AI Bridges and dreams

Journal:

Year:

1987

Language:

english

File:

PDF, 931 KB

english, 1987

7

Reprint of “Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011”

Journal:

Artificial Intelligence

Year:

2013

Language:

english

File:

PDF, 116 KB

english, 2013

8

Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation

Alan Bundy, Bob Welham

Journal:

Artificial Intelligence

Year:

1981

Language:

english

File:

PDF, 948 KB

english, 1981

9

What is the difference between real creativity and mere novelty?

Journal:

Behavioral and Brain Sciences

Year:

1994

Language:

english

File:

PDF, 6.84 MB

english, 1994

10

Explanation-based generalisation = partial evaluation

Frank van Harmelen, Alan Bundy

Journal:

Artificial Intelligence

Year:

1988

Language:

english

File:

PDF, 600 KB

english, 1988

11

Prolog programming techniques

Paul Brna, Alan Bundy, Tony Dodd, Marc Eisenstadt, Chee Kit Looi, Helen Pain, Dave Robertson, Barbara Smith, Maarten Someren

Journal:

Instructional Science

Year:

1991

Language:

english

File:

PDF, 1.21 MB

english, 1991

12

An overview of Prolog debugging tools

Paul Brna, Mike Brayshaw, Alan Bundy, Mark Elsom-Cook, Pat Fung, Tony Dodd

Journal:

Instructional Science

Year:

1991

Language:

english

File:

PDF, 1.25 MB

english, 1991

13

Scheme-based theorem discovery and concept invention

Omar Montano-Rivas, Roy McCasland, Lucas Dixon, Alan Bundy

Journal:

Expert Systems with Applications

Year:

2012

Language:

english

File:

PDF, 461 KB

english, 2012

14

Applying adversarial planning techniques to Go

Steven Willmott, Julian Richardson, Alan Bundy, John Levine

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 713 KB

english, 2001

15

On the notion of interestingness in automated mathematical discovery

SIMON COLTON, ALAN BUNDY, TOBY WALSH

Journal:

International Journal of Human-Computer Studies

Year:

2000

Language:

english

File:

PDF, 213 KB

english, 2000

16

An analytical comparison of some rule-learning programs

Alan Bundy, Bernard Silver, Dave Plummer

Journal:

Artificial Intelligence

Year:

1985

Language:

english

File:

PDF, 2.12 MB

english, 1985

17

[Lecture Notes in Computer Science] Automated Deduction — CADE-12 Volume 814 || Mechanically proving geometry theorems using a combination of Wu's method and Collins' method

Year:

1994

Language:

english

File:

PDF, 742 KB

english, 1994

18

Correctness criteria of some algorithms for uncertain reasoning using Incidence Calculus

Journal:

Journal of Automated Reasoning

Year:

1986

Language:

english

File:

PDF, 917 KB

english, 1986

19

AI Bridges and Dreams

Journal:

Year:

2007

File:

PDF, 1.22 MB

2007

20

Solving symbolic equations with PRESS

Leon Sterling, Alan Bundy, Lawrence Byrd, Richard O'Keefe, Bernard Silver

Journal:

Journal of Symbolic Computation

Year:

1989

Language:

english

File:

PDF, 905 KB

english, 1989

21

Automated theorem provers: a practical tool for the working mathematician?

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2011

Language:

english

File:

PDF, 269 KB

english, 2011

22

Will it reach the top? Prediction in the mechanics world

Journal:

Artificial Intelligence

Year:

1978

Language:

english

File:

PDF, 758 KB

english, 1978

23

Understanding mathematical proofs

Journal:

Year:

2006

Language:

english

File:

PDF, 112 KB

english, 2006

24

Productive use of failure in inductive proof

Andrew Ireland, Alan Bundy

Journal:

Journal of Automated Reasoning

Year:

1996

Language:

english

File:

PDF, 1.32 MB

english, 1996

25

Middle-out reasoning for synthesis and induction

Ina Kraan, David Basin, Alan Bundy

Journal:

Journal of Automated Reasoning

Year:

1996

Language:

english

File:

PDF, 1.55 MB

english, 1996

26

Reasoning with Context in the Semantic Web

Jos Lehmann, Ivan José Varzinczak, Alan Bundy

Journal:

Web Semantics: Science, Services and Agents on the World Wide Web

Year:

2012

Language:

english

File:

PDF, 131 KB

english, 2012

27

Book review

Journal:

Artificial Intelligence

Year:

2012

Language:

english

File:

PDF, 79 KB

english, 2012

28

[Lecture Notes in Computer Science] Automated Deduction — CADE-12 Volume 814 || A completion-based method for mixed universal and rigid E-unification

Year:

1994

Language:

english

File:

PDF, 816 KB

english, 1994

29

Planning Proofs of Equations in CCS

Raúl Monroy, Alan Bundy, Ian Green

Journal:

Automated Software Engineering

Year:

2000

Language:

english

File:

PDF, 230 KB

english, 2000

30

Catalogue of Artificial Intelligence Tools || Linear Predictive Coding

Bundy, Alan, Wallen, Lincoln

Year:

1984

Language:

english

File:

PDF, 231 KB

english, 1984

31

Special Issue on Efficacy of Diagrammatic Reasoning || On Automating Diagrammatic Proofs of Arithmetic Arguments

Mateja Jamnik, Alan Bundy and Ian Green

Journal:

Journal of Logic, Language and Information

Year:

1999

Language:

english

File:

PDF, 2.84 MB

english, 1999

32

For Someone Special: The Development of the Bob Hawke Prime Ministerial Library

Journal:

Australian Academic & Research Libraries

Year:

2005

Language:

english

File:

PDF, 829 KB

english, 2005

33

Rippling: Meta-Level Guidance for Mathematical Reasoning || References

Bundy, Alan, Basin, David, Hutter, Dieter, Ireland, Andrew

Year:

2005

File:

PDF, 286 KB

2005

34

Catalogue of Artificial Intelligence Tools || Cambridge LISP

Bundy, Alan, Wallen, Lincoln

Year:

1984

Language:

english

File:

PDF, 314 KB

english, 1984

35

[ACM Press the 31st Annual Computer Security Applications Conference - Los Angeles, CA, USA (2015.12.07-2015.12.11)] Proceedings of the 31st Annual Computer Security Applications Conference on - ACSAC 2015 - Getting to know your Card

Gkaniatsou, Andriana, McNeill, Fiona, Bundy, Alan, Steel, Graham, Focardi, Riccardo, Bozzato, Claudio

Year:

2015

Language:

english

File:

PDF, 319 KB

english, 2015

36

Attacking Group Multicast Key Management Protocols Using Coral

Graham Steel, Alan Bundy

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 323 KB

english, 2005

37

Mechanical cheat

Journal:

Year:

2011

Language:

english

File:

PDF, 177 KB

english, 2011

38

[Lecture Notes in Computer Science] Automated Deduction — CADE-12 Volume 814 || AC-superposition with constraints: No AC-unifiers needed

Year:

1994

Language:

english

File:

PDF, 830 KB

english, 1994

39

Growing The Community of the Informed: Information Literacy—A Global Issue

Journal:

Australian Academic & Research Libraries

Year:

2002

Language:

english

File:

PDF, 695 KB

english, 2002

40

Catalogue of Artificial Intelligence Tools || Common LISP

Bundy, Alan, Wallen, Lincoln

Year:

1984

Language:

english

File:

PDF, 259 KB

english, 1984

41

SPIE Proceedings [SPIE Orlando '91, Orlando, FL - Orlando, FL (Monday 1 April 1991)] Monolithic Microwave Integrated Circuits for Sensors, Radar, and Communications Systems - Quasioptical MESFET VCOs

Bundy, Scott, Mader, Tom, Popovic, Zoya, Ellinson, Reinold, Hjelme, Dag R., Surette, Marc R., Yadlowsky, Michael J., Mickelson, Alan R., Leonard, Regis F., Bhasin, Kul B.

Year:

1991

Language:

english

File:

PDF, 505 KB

english, 1991

42

Proof planning for maintainable configuration systems

LOWE, HELEN, PECHOUCEK, MICHAL, BUNDY, ALAN

Journal:

Artificial intelligence for engineering design analysis and manufacturing

Year:

1998

Language:

english

File:

PDF, 481 KB

english, 1998

43

Australia's Public Library System: Its Needs and Potential

Journal:

Public Library Quarterly

Year:

2010

Language:

english

File:

PDF, 837 KB

english, 2010

44

Zeitgeist: Informationskompetenz und Veränderungen des Lernens

Journal:

Year:

2005

Language:

german

File:

PDF, 5.65 MB

german, 2005

45

Attacking Group Protocols by Refuting Incorrect Inductive Conjectures

Graham Steel, Alan Bundy

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 453 KB

english, 2006

46

[Lecture Notes in Computer Science] Automated Deduction — CADE-12 Volume 814 || Algebraic factoring and geometry theorem proving

Year:

1994

Language:

english

File:

PDF, 878 KB

english, 1994

47

Smart machines are not a threat to humanity

Journal:

Communications of the ACM

Year:

2017

Language:

english

File:

PDF, 1.86 MB

english, 2017

48

Automating the synthesis of decision procedures in a constructive metatheory

Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 182 KB

english, 1998

49

Catalogue of Artificial Intelligence Tools || Portable Standard LISP

Bundy, Alan, Wallen, Lincoln

Year:

1984

Language:

english

File:

PDF, 347 KB

english, 1984

50

Special Issue: Teaching, Learning and Using Prolog || Prolog programming techniques

PAUL BRNA, ALAN BUNDY, TONY DODD, MARC EISENSTADT, CHEE KIT LOOI, HELEN PAIN, DAVE ROBERTSON, BARBARA SMITH and MAARTEN VAN SOMEREN

Journal:

Instructional Science

Year:

1991

Language:

english

File:

PDF, 1.62 MB

english, 1991

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски